Merge pull request #9609 from neheb/py
authorRosen Penev <[email protected]>
Wed, 31 Jul 2019 21:42:55 +0000 (14:42 -0700)
committerGitHub <[email protected]>
Wed, 31 Jul 2019 21:42:55 +0000 (14:42 -0700)
python: Replace utime with utimes


Trivial merge